|
Your search returned 8 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 12 |
Update Transport A New Trchnique For Update Synchronization In Replicated Database Systems
(Article)
Subject:
Concurrency Control
,
Consistency
,
Deadlock
,
Update Equation
Author:
Mukesh
Singhal
page:
1325
-
1336
The Derivation Of Conformance Tests From Lotos Specifications
(Article)
Subject:
Lotos
,
Canonical Transform
,
Conformation
,
Formal Description And Terminology
Author:
David H.
Pitt
David
Freestone
page:
1337
-
1343
Specification Of Iterators
(Article)
Subject:
Data Structures
,
Information Hiding
,
Iterators
Author:
David
Alex Lamb
page:
1352
-
1360
Mixed Programming Metaphors In A Shared Dataspace Model Of Concurrency
(Article)
Subject:
Concurrent Languages
,
Concurrent Programs
,
Swarm Intelligence
Author:
H. Conrad
Cunningham
Gruia-Catalin
Roman
page:
1361
-
1373
Application Of Real-Time Monitoring To Scheduling Tasks With Random Execution Times
(Article)
Subject:
Deadline
,
Task Logic
,
Resource Sharing
,
Real Time
Author:
Dieter
Haban
Kang G.
Shin
page:
1374
-
1389
Lower Bound On The Number Of Processors And Time For Scheduling Precedence Graphs Wirh Communication Costs
(Article)
Subject:
Lower Bounds
,
Optimization
,
Parallel Processing
Author:
M
Al-Mouhamed
page:
1390
-
1401
Partition Testing Does Not Inspire Confidence
(Article)
Subject:
Partition Testing
,
Reliability
,
A Pc-Based Software
Author:
Dick
Hamlet
Ross
Taylor
page:
1402
-
1411
On The Specification And Synthesis Of Communicating Processes
(Article)
Subject:
Communicating Processes
,
Concurrent Programs
,
Distributed Systems
Author:
M. Hakan
Erdogmus
Robert
Johnston
page:
1412
-
1426
|
|
| | |